Partial evaluation - PDFSEARCH.IO - Document Search Engine

Partial evaluation
Results: 234

#	Item
11	AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming Chris Seaton Oracle Labs Add to Reading List Source URL: chrisseaton.com - Date: 2016-11-26 16:01:29
12	Partial Evaluation Applied to Ray Tracing Peter Holst Andersen DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark, e-mail: Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:05:07
13	Partial Evaluation of Standard ML Master’s Thesis Lars Birkedal Morten Welinder Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:05:06
14	Using Regular Approximations for Generalisation During Partial Evaluation John P. Gallagher Julio C. Peralta Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:05:11
15	Partial evaluation An article for Encyclopedia of Computer Science and Technology Version 1.01 ofTorben . Mogensen1 and Peter Sestoft2 Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:06:01
16	Pragmatics of Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University ? http://www.brics.dk/~danvy Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:04:37
17	An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework German Puebla and Manuel Hermenegildo Department of Computer Science Technical University of Madrid (UPM) fgerman, Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:05:11
18	In: O. Danvy, R. Gluck, P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12{16, 1996, Lecture Notes in Computer Science 1110, Springer, A Theory of Logic Program Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:04:37
19	Partial Evaluation for Domain-Specific Embedded Languages in a Higher Order Typed Language Duncan Coutts October 2004 Abstract Partial evaluation is a mature area of research that has demonstrated the power of Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:06:10
20	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Computing Software Evaluation strategy Incremental computing Partial evaluation Programming language implementation Interpreter Logic programming Programming language Meta Eval